class A<T: Foo> {}